//
// -------------------------------------------------------------
//    Copyright 2004-2009 Synopsys, Inc.
//    All Rights Reserved Worldwide
//
//    Licensed under the Apache License, Version 2.0 (the
//    "License"); you may not use this file except in
//    compliance with the License.  You may obtain a copy of
//    the License at
//
//        http://www.apache.org/licenses/LICENSE-2.0
//
//    Unless required by applicable law or agreed to in
//    writing, software distributed under the License is
//    distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR
//    CONDITIONS OF ANY KIND, either express or implied.  See
//    the License for the specific language governing
//    permissions and limitations under the License.
// -------------------------------------------------------------
//


class alu_cfg;
   rand bit monitor_en;
   rand bit cov_en;
   rand bit sb_en;
   rand integer num_scenarios;

   constraint cst_default {
     monitor_en == 1;
     cov_en == 1;
     sb_en  == 1;
     num_scenarios == 5;
   }
    
   constraint cst_cfg {
      (monitor_en == 0) -> (cov_en == 0 && sb_en == 0);
   }
   
endclass

